21. <The> theory of models
پدیدآورنده : / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
BC135
،.
I5
1965
22. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
23. Undecidable theories
پدیدآورنده : Tarski, Alfred
موضوع : ، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
24. Undecidable theories
پدیدآورنده : / by Alfred Tarski
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK